Remarks on Memory Consistency Description
نویسنده
چکیده
Two observations in the matter of pictorial as well as formal presentation of some consistency in distributed shared memory are made. The first concerns geometric transformation of line segments and points picturing read/write operations, the second converting partial order of the operations into linear order of their initiations and terminations. This allows to reduce serialization of the read/write operations as a whole to permutations of their beginnings and ends. Some draft proposals are introduced.
منابع مشابه
Of Relating the Linguistic Description to an Interpretation of a Literary Work (Poetry)
This article attempts to see, through the structural significances of poetic language, the nature of the split between linguistic description and literary interpretation. Rhythm is the most prominent means of relating form to content in poetic language. The first account of this prominence is seen through identifying its position in the two prosodic forms of metrical and non-metrical poetry. Fo...
متن کاملAn Interplay between Valency Information and Reflexivity
A language description based on a formally defined framework has many advantages: The possibility to check the inner consistency of the model as well as the possibility of comparison with other models or with pure descriptive approaches belong to its main priorities. Roland Wagner’s contribution published in the last issue of this journal – focusing (among other ideas) on the role of Czech refl...
متن کاملMemory Consistency Models of Bus - BasedMultiprocessors
The Partial Orders Framework 3] provides a uniied way to specify the memory semantics of distributed systems. This report demonstrates the usefulness of this framework for reasoning about the behavior of the shared memory of existing multiprocessors. Three bus-based machine models are examined: total ordering, total store ordering, and partial store ordering. A formal and unambiguous descriptio...
متن کاملبررسی ویژگی‌های روان‌سنجی خرده‌آزمون‌های حافظه میکر در دانش‌آموزان مقطع ابتدایی
The present research was conducted to study the psychometric characteristics of:"Meeker's memory Subscales". The sample consisted of 292 male and female students. Memory category has six subscales based on widely recognized, multifactoral model of intelligence developed by Guilford (1959). The results indicated that for Meeker's memory subscales, internal consistency coefficients ranged from...
متن کاملThe weakest reasonable memory model by Matteo Frigo
A memory model is some description of how memory behaves in a parallel computer system. While there is consensus that sequential consistency [Lamport 1979] is the strongest memory model, nobody seems to have tried to identify the weakest memory model. This thesis concerns itself with precisely this problem. We cannot hope to identify the weakest memory model unless we specify a minimal set of p...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2015